4.87/6.26	unsat
