66.89/67.16	unsat
