6.38/7.77	unsat
