65.09/67.68	unsat
