9.96/14.63	unsat
