5.48/6.61	unsat
