5.38/5.66	unsat
