9.87/12.95	unsat
