69.68/72.86	unsat
