2.98/5.11	unsat
