4.68/6.29	unsat
