5.48/6.37	unsat
