65.38/67.34	unsat
