69.96/73.45	unsat
