38.73/64.98	unsat
