5.38/7.90	unsat
