6.38/9.60	unsat
