5.38/5.69	unsat
