68.26/72.24	unsat
