10.06/12.82	unsat
