68.87/72.16	unsat
