5.48/6.29	unsat
