5.74/6.29	unsat
