65.57/70.34	unsat
