66.68/67.32	unsat
