66.94/67.34	unsat
