2.29/5.10	unsat
