65.91/71.77	unsat
