5.48/6.60	unsat
