9.88/14.40	unsat
