4.87/5.26	unsat
