10.47/10.95	unsat
