6.38/8.95	unsat
