69.44/72.21	unsat
