62.91/65.60	unsat
