6.27/7.60	unsat
