7.38/12.75	unsat
