1.38/7.69	unsat
