65.69/72.74	unsat
