4.27/5.10	unsat
