7.38/10.14	unsat
