8.96/10.40	unsat
