69.84/72.95	unsat
