10.47/12.85	unsat
