68.19/72.02	unsat
