65.48/67.13	unsat
