9.06/10.01	unsat
