10.48/12.95	unsat
