4.07/5.26	unsat
