10.87/12.95	unsat
