62.59/65.77	unsat
