6.28/7.60	unsat
