64.81/65.81	unsat
