69.87/72.29	unsat
