4.93/5.26	unsat
