4.98/5.26	unsat
