65.09/67.37	unsat
