6.38/6.91	unsat
