6.28/8.60	unsat
