8.38/8.66	unsat
