4.68/6.26	unsat
