9.76/10.03	unsat
