10.08/10.47	unsat
