9.96/12.01	unsat
